Unifying overloading and λ-abstraction: λ{}
نویسندگان
چکیده
منابع مشابه
Unifying overloading and λ - abstraction : λ fg Giuseppe Castagna
In this short note we present a minimal system to deal with overloaded functions with late binding, in which λ-abstractions are seen as a special case of overloaded functions with just one code. We prove some relevant properties that this system enjoys, and show its connection with the λ&-calculus. We end by showing the practical interest of this system, in particular in modeling object-oriente...
متن کاملĜ Ĝ Λ 11 Λ 12 Λ 21 Λ 21 Λ 22 Λ 22 Λ Λ̃ 0 0 Λ̂
In this paper we present an algorithm for pricing barrier options in one-dimensional Markov models. The approach rests on the construction of an approximating continuous-time Markov chain that closely follows the dynamics of the given Markov model. We illustrate the method by implementing it for a range of models, including a local Lévy process and a local volatility jump-diffusion. We also pro...
متن کاملDouble Λ Hypernuclei and the Λ-λ Interaction. *
We approximate the double Λ hypernuclei by systems composed by two interacting Λ’s moving in the mean field potential created by the nuclear cores. The Λ-core potentials are adjusted to reproduce the binding energies of the corresponding single Λ hypernuclei [1]. A σ-ω meson exchange potential [2] is used for the Λ-Λ interaction. We apply both the Hartree-Fock (HF) and variational approximation...
متن کاملRare Λ b → Λ l + l − Decays with Polarized Λ
We investigate the rare baryonic exclusive decays of Λb → Λll (l = e, μ, τ) with polarized Λ. Under the approximation of the heavy quark effective theory (HQET), in the standard model we derive the differential decay rates and various polarization asymmetries by including lepton mass effects. We find that with the long-distance effects the decay branching ratios are 5.3× 10 for Λb → Λll (l = e,...
متن کاملΛ b Decays into Λ - Vector
A complete study of the angular distributions of the processes, Λ b → ΛV (1 −), with Λ → pπ − and V (J/Ψ) → ℓ + ℓ − or V (ρ 0 , ω) → π + π − , is performed. Emphasis is put on the initial Λ b polarization produced in the proton-proton collisions. The polarization density-matrices as well as angular distributions are derived and help to construct T-odd observables which allow us to perform tests...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)81497-1